Home Schedule My feed About



Image height

Home Schedule Tags

 Desks

All FINANCE IT GAME ENTERTAINMENT CAR WORLD SPORTS GENERAL Others

 My pages

 Tags · across all desks

Lean 4

5 past items · timeline  See this tag's schedule

Related tags Leanstral 1.5Mistral AI

 Entities under this tag





Proving correctness with Lean 4 before coding a verified compiler

はてなブックマーク - 人気エントリー - テクノロジー 07-24 12:31



Star Fleet Solves 20 Erdős Problems Using 20 Parallel Codex Accounts

Hacker News 07-15 09:15



Combinatorial Games in Lean

Hacker News 07-12 07:11



Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援

はてなブックマーク - 人気エントリー - テクノロジー 07-01 20:35



Leanstral 1.5

Hacker News 07-01 05:44

— no more —

Summaries are AI-generated and may be wrong — check the original.

Home Schedule My feed